YES 0.706
↳ HASKELL
↳ BR
((deQueue :: Queue a -> Maybe (a,Queue a)) :: Queue a -> Maybe (a,Queue a)) |
import qualified Prelude |
|||||||||
data Queue a = Q [a] [a] [a] |
|||||||||
deQueue :: Queue a -> Maybe (a,Queue a)
|
|||||||||
listToQueue :: [a] -> Queue a
|
|||||||||
makeQ :: [a] -> [a] -> [a] -> Queue a
|
|||||||||
rotate :: [a] -> [a] -> [a] -> [a]
|
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((deQueue :: Queue a -> Maybe (a,Queue a)) :: Queue a -> Maybe (a,Queue a)) |
import qualified Prelude |
|||||||||
data Queue a = Q [a] [a] [a] |
|||||||||
deQueue :: Queue a -> Maybe (a,Queue a)
|
|||||||||
listToQueue :: [a] -> Queue a
|
|||||||||
makeQ :: [a] -> [a] -> [a] -> Queue a
|
|||||||||
rotate :: [a] -> [a] -> [a] -> [a]
|
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
(deQueue :: Queue a -> Maybe (a,Queue a)) |
import qualified Prelude |
|||||||||
data Queue a = Q [a] [a] [a] |
|||||||||
deQueue :: Queue a -> Maybe (a,Queue a)
|
|||||||||
listToQueue :: [a] -> Queue a
|
|||||||||
makeQ :: [a] -> [a] -> [a] -> Queue a
|
|||||||||
rotate :: [a] -> [a] -> [a] -> [a]
|
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ Narrow
↳ QDP
↳ QDPSizeChangeProof
new_rotate(:(wv50, wv51), :(wv60, wv61), wv7, wv8, h) → new_rotate(wv51, wv61, wv60, :(wv7, wv8), h)
From the DPs we obtained the following set of size-change graphs: